1. ......................
پدیدآورنده: edited by R. Parikh
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
453
2. <A> Logical Approach to Philosophy
پدیدآورنده: \ edited by David Devidi and Tim Kenyon.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic -- Congresses. ,Logic, Symbolic and mathematical -- Congresses. ,منطق -- کنگره‌ها ,منطق ریاضی -- کنگره‌ها
رده :
E-Book
,
3. A logical approach to philosophy
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic ; Congresses. ;
4. A logical approach to philosophy
پدیدآورنده: / edited by David Devidi and Tim Kenyon
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic Congresses
رده :
BC5
.
L64
2006
5. A logical approach to philosophy
پدیدآورنده: / edited by David Devidi and Tim Kenyon
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--Congresses
رده :
BC5
,.
L64
,
2006
6. A logical approach to philosophy
پدیدآورنده: / edited by David Devidi and Tim Kenyon
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic Congresses
رده :
BC5
.
L64
2006
7. A logical approach to philosophy
پدیدآورنده: / edited by David Devidi and Tim Kenyon
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic, Congresses
رده :
BC5
.
L64
2006
8. ALPUK 92
پدیدآورنده: Krysia Broda )ed.(.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Logic programming -- Congresses
رده :
QA
76
.
63
.
A38
1993
9. Advanced computer architecture :
پدیدآورنده: Chao Li, Junjie Wu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer architecture, Congresses.,Computer System Implementation.,Logic Design.,Operating Systems.,Processor Architectures.,Special Purpose and Application-Based Systems.,Computer architecture & logic design.,Computer architecture.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Operating systems.,Systems analysis & design.
رده :
QA76
.
9
.
A73
10. Advanced models of cognition for medical training and practice
پدیدآورنده: edited by David A. Evans, Vimla L. Patel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cognitive science -- Congresses.,Medical education -- Philosophy -- Congresses.,Medical logic -- Congresses.
رده :
R723
.
E358
1992
11. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
پدیدآورنده: Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L36B7
1996
12. Advances in intelligent systems and Robotics
پدیدآورنده: / Germano Lambert Torres...[and other]
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Artificial intelligent-Congresses,Logic-symblic and mathematical-Robotics-congresses
رده :
006
.
322
A244
13. Advances in linear logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Congresses. ;
14. Advances in linear logic
پدیدآورنده: / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L56
,
1995
15. Advances in logic, artificial intelligence, and robotics
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Robotics ; Congresses. ;
16. Advances in logic, artificial intelligence and robotics
پدیدآورنده: / edited by Jair Minoro Abe and Jo?uo In??cio da Silva Filho
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence--Congresses,Logic, Symbolic and mathematical--Congresses,Robotics--Congresses
رده :
Q
,
334
,.
C684
,
2002
17. Advances in logic, artificial intelligence, and robotics :
پدیدآورنده: edited by Jair Minoro Abe and João Inácio da Silva Filho.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Robotics, Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Inteligência artificial (congressos),Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Lógica simbólica (congressos),Robótica (congressos),Robotics.,Robotics.
رده :
Q334
.
C69
2002eb
18. #Advances in logic, artificial intelligence, and robotics
پدیدآورنده: #edited by Jair Minoro Abe and Joao Inacio da Silva Filho
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Artificial intelligence- Congresses ،Logic, Symbolic and mathematical- Congresses ،Robotics- Congresses
رده :
#
Q
،#.
C69
،#
2002
19. Advances in logic, artificial intelligence and robotics: LAPTEC 2002
پدیدآورنده: edited by Jair Minoro Abe and Joao Inacio da Silva Filho
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Artificial intelligence -- Congresses,، Logic, symbolic and mathematical - Congresses,، Robotics -- Congresses
رده :
Q
334
.
A39
20. Advances in logic artificial intelligence and robotics LAPTEC 2002
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع: Artisicial intelligence - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
{
1648
},
a10532fac62a75b806461958d7dac762
